Search Results
USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code
USENIX ATC '13 - Redundant State Detection for Dynamic Symbolic Execution
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
Academic keynote: Five Shades of Symbolic Execution for Vulnerability Hunting
Coupled Relational Symbolic Execution
Preview: Verification (Correctness)
2012 LLVM Developers’ Meeting: A. Zaks & J. Rose “Building a Checker in 24 hours”
Preview: Verification (Correctness & Debugging)
Symbolic execution and its security application, Keith Makan
Dawson Engler
A few billion lines of code later - experiences in commercializing a static checking tool
Role of symbolic execution in software testing, debugging and repair
